Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
591	Grammaticalization and subjectification in the semantic domain of possibility in Kirundi (Bantu, JD62) Koen Bostoen, Ferdinand Mberamihigo and Gilles‑Maurice de Schryver Abstract This article is a first systematic stud Add to Reading List Source URL: tshwanedje.com Language: English - Date: 2012-12-10 02:17:22 Semantics Linguistic modality Modal verb Grammaticalization Auxiliary verb Epistemic modality Modal logic Verb Evidentiality Linguistics Grammatical moods Grammar
592	2 (Paper read for me by Josef Mitterer at the Memorial Meeting for Heinz von Foerster, Vienna, November[removed]Published in A.Müller & K.Müller, Eds. An unfinished revolution? ([removed]Vienna: Echoraum, 2007) Add to Reading List Source URL: www.oikos.org Language: English - Date: 2008-03-31 09:57:26 Meaning Semantics Philosophical logic Philosophy of language Language Communication Idiom Noam Chomsky Linguistic competence Linguistics Science Academia
593	Languages – Italian[removed]Audit Code Y Covered in Current Curriculum Add to Reading List Source URL: www.ais.sa.edu.au Language: English Ontology Philosophy of language Semantics Thought Mind Culture Language Science Cognition Concept Logic
594	On Representing Actions in Multi-Agent Domains Chitta Baral and Gregory Gelfond Department of Computer Science and Engineering Arizona State University Abstract. Reasoning about actions forms the foundation of predictio Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-05 19:58:05 Interpretation Philosophy of language Philosophy of mind Semantics Epistemic modal logic Modal logic Symbol Structure Linear temporal logic Logic Mathematical logic Model theory
595	Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c Add to Reading List Source URL: dmcer.net Language: English - Date: 2011-07-25 01:42:32 Textual entailment WordNet Semantics Entailment Bitext word alignment Inference Monotonicity of entailment First-order logic Knowledge representation and reasoning Logic Science Logical consequence
596	Making Thoughts Explicit: advantages and limitations of formal expression Francis HEYLIGHEN* ABSTRACT. Testing the validity of knowledge requires formal expression of that knowledge. Formality of an Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:38 Logical syntax Semantics Philosophical logic Philosophy of language Expression Regular expression Meaning Fuzzy logic Formal proof Logic Formal languages Mathematics
597	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-01 12:39:40 Metalogic Universal algebra Formal languages Structure Interpretation Parity of a permutation Substructure Hoare logic Goto Mathematics Model theory Mathematical logic
598	LTL Goal Specifications Revisited Andreas Bauer and Patrik Haslum1 Abstract. The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constr Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2010-05-25 19:52:52 Logic Mathematical logic Semantics Model checking Model theory Interpretation Trace Temporal logic Linear temporal logic Mathematics
599	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Adjoint functors Program logic Computer programming Functional programming Models of computation Monad Predicate transformer semantics ALGOL 68 Hoare logic Software engineering Formal methods Computing
600	A Framework for the Semantics of Behavioral Contracts Ashley McNeile Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK [removed] Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2010-05-23 06:34:27 Programming paradigms Concurrent computing Formal methods Design by contract Software design Hoare logic Liskov substitution principle Communications protocol Algorithm Software engineering Computing Theoretical computer science

UPDATE